21. Constraint solving over multi-valued logics :
Author: Francisco Azevedo.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Constraint programming (Computer science),Digital electronics.,Many-valued logic.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Constraint programming (Computer science),Digital electronics.,Many-valued logic.
Classification :
QA76
.
612
.
A94
2003eb
22. Constraints in computational logics : theory and applications ; International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 ; revised lectures
Author: Hubert Comon, Claude Marche, Ralf Treinen )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Constraint programming )Computer science(,، Logic programming
Classification :
QA
76
.
L28
Vol
.
2002
23. Declarative programming and knowledge management :
Author: edited by Dietmar Seipel, Michael Hanus, Salvador Abreu (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Declarative programming, Congresses.,Artificial Intelligence (incl. Robotics).,Logics and Meanings of Programs.,Numeric Computing.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Declarative programming.,Mathematical theory of computation.,Software Engineering.
Classification :
QA76
.
615
24. Distributed Environments :
Author: edited by Yutaka Ohno, Toshiko Matsuda.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.
Classification :
QA76
.
76
.
D47
E358
1991
25. Distributed constraint logic programming
Author: Leung, Ho-Fung.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming,، Distributed artificial intelligence,، PARLOG )Computer program language(
Classification :
QA
76
.
63
.
L48
1993
26. Distributed constraint logic programming
Author: Leung, Ho-Fung.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Logic programming,، Distributed artificial intelligence,، PARLOG )Computer program language(
Classification :
QA
76
.
63
.
L48
1993
27. Essentials of constraint programming /
Author: Thom Frühwirth, Slim Abdennadher
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Constraint programming (Computer science)
Classification :
QA76
.
612
.
F78
2003
28. Formal Methods and Software Engineering :
Author: Toshiaki Aoki ... (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Fehlertoleranz.,Formale Methode.,Model Checking.
Classification :
QA76
.
9
.
F67
T674
2012
29. Frontiers of combining systems :
Author: Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses,Logic, Symbolic and mathematical, Congresses
Classification :
QA9
.
A1
F76
2013
30. Functional and Constraint Logic Programming
Author: / Herbert Kuchen
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
31. Functional and Constraint Logic Programming
Author: / oلJulio Mari
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
32. Functional and Constraint Logic Programming
Author: / Santiago Escobar
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
33. Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers (Lecture ... Computer Science and General Issues)
Author: Santiago Escobar
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: EDUCATIONAL RESEARCH&EDUCATION
34. Functional and constraint logic programming :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Functional programming (Computer science) ; Congresses. ;
35. Functional and constraint logic programming
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Functional programming (Computer science) ; Congresses. ; Constraint programming (Computer science) ; Congresses. ; Logic programming ; Congresses. ;
36. Functional and constraint logic programming
Author: / Santiago Escobar (ed.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Functional programming (Computer science)--Congresses,Constraint programming (Computer science)--Congresses,Logic programming--Congresses,WFLP
Classification :
QA
,
76
.
62
,.
W45
,
2009
37. Functional and constraint logic programming :
Author: Josep Silva (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Constraint programming (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic programming, Congresses.,Constraint programming (Computer science),Functional programming (Computer science),Logic programming.
Classification :
QA76
.
62
38. Functional and constraint logic programming :
Author: Julio Mariño (edition)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming, Congresses,Mathematical Logic and Formal Languages
Classification :
QA76
.
63
.
W45
2011
39. Functional and constraint logic programming
Author: / Santiago Escobar (ed.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Functional programming (Computer science), Congresses,Constraint programming (Computer science), Congresses,Logic programming, Congresses
Classification :
QA76
.
62
.
W45
2010
